[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pp. 138-142, March 2009.
[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 第４回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．